/* * This is the name of the file used to store * the user's MH profile */ char *mh_defs = "/.mh_profile";