patch compilation error for tests