Renamed

In May 2002, ppmtouil was extended and renamed to pamtouil.