fixing the travis configuration