update python.el