speed up Travis CI build