--- genconfig.sh.orig   2014-04-22 00:37:51.000000000 -0700
+++ genconfig.sh	2014-04-26 18:01:49.000000000 -0700
@@ -393,7 +393,7 @@
 if [ -n "$LEASEFILE" ] ; then
 	echo "#define ENABLE_LEASEFILE" >> ${CONFIGFILE}
 else
-	echo "/*#define ENABLE_LEASEFILE*/" >> ${CONFIGFILE}
+	echo "#define ENABLE_LEASEFILE" >> ${CONFIGFILE}
 fi
 echo "" >> ${CONFIGFILE}