Fixing Travis CI build