adjusted travis config