Correct source file names.