Another tweak of the travis build setup.