some minor fixes fo compiler.py