point to python git mirror; fixes #125