diff --git a/Graphics/gl2ps.h b/Graphics/gl2ps.h
index 978c2f108605e3ad3cd6079c82e8a13e4c9e48e6..4f6c71f108173c7b3c78c89605925169c5e4d13f 100644
--- a/Graphics/gl2ps.h
+++ b/Graphics/gl2ps.h
@@ -38,6 +38,7 @@
 
 #include <stdio.h>
 #include <stdlib.h>
+#include "GmshConfig.h"
 
 /* Define GL2PSDLL at compile time to build a Windows DLL */