--- adm/UDLIST.orig	2023-12-04 15:53:08 UTC
+++ adm/UDLIST
@@ -32,6 +32,7 @@ r OS
 n gp
 n math
 r OS
+n FlexLexer
 t TKMath
 t TKernel
 n Adaptor2d