Don't crash with nonstandard filenames