renamed non_portable_filenames to portable...