Reduce the travis-ci time limit by 5 seconds.