python 64 fix #