modified travis config