Hopefully fixes Travis CI build.