Pdef 1.2 in travis config.