diff --git a/Plugin/PluginManager.h b/Plugin/PluginManager.h
index 1633ba0b59775c83119c9627fa6c74a0b5e4e1b5..dc7c990b09349af6b528c5365a30370ce886ab7f 100644
--- a/Plugin/PluginManager.h
+++ b/Plugin/PluginManager.h
@@ -6,6 +6,7 @@
 #ifndef _PLUGIN_MANAGER_H_
 #define _PLUGIN_MANAGER_H_
 
+#include <cstring>
 #include <map>
 
 class GMSH_Plugin;