tweaked travis config