diff --git a/.github/workflows/extra-builds.yml b/.github/workflows/extra-builds.yml
index a1ff62604..3bbb55110 100644
--- a/.github/workflows/extra-builds.yml
+++ b/.github/workflows/extra-builds.yml
@@ -27,6 +27,7 @@ jobs:
         with:
           submodules: true
           persist-credentials: false
+      - run: sudo apt-get install libfl-dev
       - name: Build
         run: make vcxsrc YOSYS_VER=latest
       - uses: actions/upload-artifact@v4
diff --git a/misc/create_vcxsrc.sh b/misc/create_vcxsrc.sh
index d7b516fd6..31bea8a36 100644
--- a/misc/create_vcxsrc.sh
+++ b/misc/create_vcxsrc.sh
@@ -20,6 +20,13 @@ mv zlib-1.2.11/* "$vcxsrc"/yosys/libs/zlib/.
 rm -rf zlib-1.2.11
 pushd "$vcxsrc"/yosys
 ls libs/zlib/*.c | sed 's,.*:,,; s,//*,/,g; s,/[^/]*/\.\./,/,g; y, \\,\n\n,;' | grep '^[^/]'  >> ../../srcfiles.txt
+
+if [ -f "/usr/include/FlexLexer.h" ] ; then
+	mkdir -p libs/flex
+	cp /usr/include/FlexLexer.h libs/flex/FlexLexer.h
+	ls libs/flex/*.h >> ../../srcfiles.txt
+fi
+
 popd
 {
 	n=$(grep -B999 '<ItemGroup>' "$vcxsrc"/YosysVS/YosysVS.vcxproj | wc -l)