tweaked travis configuration