travis: trying to fix the build

I don't know what happened to travis.