one more travis config change