Fix sourcefile restore script to support old/new filenames.