Hopefully fix Travis CI build.