Fix building on Jenkins