Update js sources to reflect new filenames