use transport_path_prod' in Tactics.v, close #535