Fix python 3 frozen filenames