python 2to3 run, renamed symbols