Corrected compilation.py