fix testing file name for tests of HK