changed non_portable_filenames to core