Return filenames as strings (not pathnames) in compfile and compile_file