diff -urN motif-2.3.8.orig/tools/wml/wmluiltok.l motif-2.3.8/tools/wml/wmluiltok.l
--- motif-2.3.8.orig/tools/wml/wmluiltok.l	2021-05-25 13:51:53.464073407 -0600
+++ motif-2.3.8/tools/wml/wmluiltok.l	2021-05-25 13:52:25.354192799 -0600
@@ -1,3 +1,5 @@
+%option main
+
 %{
 /*
  * Motif