use transport_path_prod' in Tactics.v, close #535
Merge pull request #539 from mikeshulman/pathprod

use transport_path_prod' in Tactics.v, close #535