diff --git a/src/fixedtip.c b/src/fixedtip.c
index 826359a20..39e98caaf 100644
--- a/src/fixedtip.c
+++ b/src/fixedtip.c
@@ -19,6 +19,7 @@
  * 02111-1307, USA.
  */
 
+#include <config.h>
 #include "fixedtip.h"
 
 static GtkWidget *tip = NULL;