tweaked travis ci