Updated compilation.py