kill some bugs in compilation.c