src: Fix some comments which referred to the old filenames.