Finally fix the travis problem