tweaked travis setup