improve Travis CI build