Yest another Travis tweak