diff --git a/src/lib/global/path.c.in b/src/lib/global/path.c.in
index 6b5fc758..d133e448 100644
--- a/src/lib/global/path.c.in
+++ b/src/lib/global/path.c.in
@@ -33,6 +33,8 @@
  *     Markus Armbruster, 2005
  */
 
+#include "optlist.h"
+
 char dflt_econfig[] = "@econfig@";
 char *infodir	= "@einfodir@";
 char *datadir	= "@edatadir@";