switch build on Travis CI to run benchmarks with fixed thread pool