Try to fix Travis CI builds.