Minor modifications to compiler.py and makefile