fixed the travis configuration