Try to fix the travis.yaml