Make the Travis CI build work