Fix the Travis CI build