See if we can speed up travis-ci a little