One more Travis CI tweak