add 'cosec.iso' target, fixed some Makefile bugs