try standard thread pool on Travis CI