Got rid of some now-unused code in the python compiler.