Fix in travis script