Try fixing Travis CI build configuration (3)