travis-ci: trying to fix the build