Hopefully fix Travis CI build