Found and used the Python 2to3 tool.