backup of python.el