Fix Travis CI timeout