Another ugly hack to make the tests run on jenkins