fixes test_gcc compilation on jenkins