Restore python.el