Yet another Travis tweak