asciifyfilenames.py