Good idea, but I don't know how to express that in the travis config.