Renamed prefixes of file to Sherpa-syntax