Prunes __main__ in src/compilation.py