tweaked travis script