FIX TravisCI configuration