amended travis config