ENCORE ce makefile