newly-generated travis config