fix CTestTests.txt