diff --git a/glafp-utils/verbatim/Makefile b/glafp-utils/verbatim/Makefile
index 8c76466d64f88310a0dbe28651fac7c297c5b716..861b88159cdcaeca947a12d46340ebb690d0f0d0 100644
--- a/glafp-utils/verbatim/Makefile
+++ b/glafp-utils/verbatim/Makefile
@@ -5,6 +5,8 @@ C_SRCS = verbatim.c
 C_PROG = verbatim
 LIBS = $(FLEX_LIB)
 
+override SRC_FLEX_OPTS=-8
+
 #
 # For src distributions, include flex output.
 #