Fix source file name in get_source_files()