fix the travis configuration