One more travis config fix hopefully