Reduce the travis-ci time limit by 5 seconds. [ci skip]