diff --git a/cmake/third_party_deps/dear_imgui/CMakeLists.txt b/cmake/third_party_deps/dear_imgui/CMakeLists.txt
index 0873bfac..074e6c51 100644
--- a/cmake/third_party_deps/dear_imgui/CMakeLists.txt
+++ b/cmake/third_party_deps/dear_imgui/CMakeLists.txt
@@ -59,3 +59,15 @@ target_sources(dear_imgui_OpenGL3
     ${dear_imgui_SOURCE_DIR}/backends/imgui_impl_opengl3.h
     ${dear_imgui_SOURCE_DIR}/backends/imgui_impl_opengl3.cpp
 )
+
+# stdlib
+add_library(dear_imgui_stdlib STATIC)
+target_include_directories(dear_imgui_stdlib
+  PUBLIC
+    ${dear_imgui_SOURCE_DIR}
+)
+target_sources(dear_imgui_stdlib
+  PUBLIC
+    ${dear_imgui_SOURCE_DIR}/misc/cpp/imgui_stdlib.h
+    ${dear_imgui_SOURCE_DIR}/misc/cpp/imgui_stdlib.cpp
+)
diff --git a/src/experimental/platform/CMakeLists.txt b/src/experimental/platform/CMakeLists.txt
index ecb9e6f2..d953c929 100644
--- a/src/experimental/platform/CMakeLists.txt
+++ b/src/experimental/platform/CMakeLists.txt
@@ -112,6 +112,7 @@ include(third_party_deps/libwebp)
 target_link_libraries(${MUJOCO_PLATFORM_TARGET_NAME}
     dear_imgui
     dear_imgui_SDL2
+    dear_imgui_stdlib
     implot
     webp
     SDL2::SDL2-static
diff --git a/src/experimental/platform/imgui_widgets.h b/src/experimental/platform/imgui_widgets.h
index 4355e7b9..9bf2a4f3 100644
--- a/src/experimental/platform/imgui_widgets.h
+++ b/src/experimental/platform/imgui_widgets.h
@@ -26,7 +26,7 @@
 
 #include <imgui.h>
 #include <imgui_internal.h>
-#include "third_party/dear_imgui/misc/cpp/imgui_stdlib.h"
+#include <misc/cpp/imgui_stdlib.h>
 #include <mujoco/mujoco.h>
 #include "experimental/platform/enum_utils.h"