proting to Python3 with 2to3