update file names of official test suite