Trying to fix the travis settings