Try fixing Travis CI build configuration