fix the travis problem?