Index: auto/defaults
===================================================================
--- auto/defaults	(revision 63a5739817f03a720db39f375f3d3c53646fba4c)
+++ auto/defaults	(revision 44f59b8b510ac7c3b21f669b0d25ed4cb4201f3f)
@@ -11,4 +11,5 @@
 DEFAULT_CC='/usr/bin/gcc'
 DEFAULT_BISON='/usr/bin/bison'
+DEFAULT_FLEX='/usr/bin/flex'
 DEFAULT_RM='/bin/rm -f'
 DEFAULT_RMDIR='/bin/rm -rf'