added a python version of normalize-file-names