-echo "char *version_str = \"nmh-$VERSION [compiled on $HOSTNAME at `date`]\";"
-echo "char *version_num = \"nmh-$VERSION\";"
+echo "char *version_str = \"mmh-$VERSION [compiled on $HOSTNAME at `date`]\";"
+echo "char *version_num = \"mmh-$VERSION\";"