Try to work around timeout issues on Travis CI