fix for test compilation error in AAAITest