Work around Travis failures

References:

• https://github.com/travis-ci/travis-ci/issues/9024
• https://blog.travis-ci.com/2018-01-08-travis-response-meltdown-spectre

Note that we should revert this when it's fixed upstream.