Use 1.9.3 in travis