more travis script fixage