--- src/configfile.c.orig	2002-12-17 21:07:53.000000000 -0600
+++ src/configfile.c	2002-12-17 21:07:56.000000000 -0600
@@ -93,7 +93,8 @@
 		{ "TPModeUpKey",		TAG_TPMODEUPKEY,			TAG_TPMODEUPMOD,			cft_read_key },
 		{ "TPModeDownKey",	TAG_TPMODEDOWNKEY,		TAG_TPMODEDOWNMOD,		cft_read_key },
 		{ "TPMode",			TAG_TPMODE,				0, cft_read_tpmode },
-		{ "KBDMode",			TAG_KBDMODE,				0, cft_read_kbdmode }};
+		{ "KBDMode",			TAG_KBDMODE,				0, cft_read_kbdmode },
+		{ "replace_pmud",               TAG_REPLACEPMUD,                        0, cft_read_bool}};
 
 	if ((stat(configfile, &stat_buf)) == -1) {
 		print_error (_("WARNING: Couldn't read configfile [%s, %s], using defaults.\n"), configfile, strerror(errno));