Fixing the travis configuration