filenames should not be quoted