Re-jigger to make Travis happy

See https://github.com/travis-ci/travis-ci/issues/2355.