hg2prov.sh