diff --git a/lib/roken/gettimeofday.c b/lib/roken/gettimeofday.c
index f394c50cf..aae41b442 100644
--- a/lib/roken/gettimeofday.c
+++ b/lib/roken/gettimeofday.c
@@ -1,7 +1,5 @@
-#ifdef HAVE_CONFIG_H
-#include <config.h>
+#include "krb_locl.h"
 RCSID("$Id$");
-#endif
 
 #ifndef HAVE_GETTIMEOFDAY
 /*