Fix building tests on Jenkins