fixing travis configuration