Redirect old DevRef filenames to the new names