Searching in libitm/testsuite/config