Fix building with travis.