Fixing travis configuration