Fixed the filenames to be consistent across platforms.