diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
index 3d74a7a08..a738c0ee4 100644
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@@ -23,6 +23,7 @@ Bartłomiej Chmiel
 Cameron Kirk
 Chih-Mao Chen
 Chris Randall
+Christopher Taylor
 Chuxuan Wang
 Chykon
 Conor McCullough
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 32bebdc1f..73ddab563 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -480,6 +480,7 @@ set_target_properties(${verilator} PROPERTIES
     MSVC_RUNTIME_LIBRARY  MultiThreaded$<IF:$<CONFIG:Release>,,DebugDLL>
     #JOB_POOL_LINK         one_job      # Linking takes lots of resources
     INTERPROCEDURAL_OPTIMIZATION_RELEASE  $<IF:MINGW,FALSE,TRUE>
+    INCLUDE_DIRECTORIES ${FLEX_INCLUDE_DIR}
 )
 
 add_dependencies(${verilator}