Hopefully fixed the Travis CI builds.