tweaked travis file