yet another travis config fix