diff --git a/src/backend/port/random.c b/src/backend/port/random.c
index 7b523b4867..950b9106ec 100644
--- a/src/backend/port/random.c
+++ b/src/backend/port/random.c
@@ -1,9 +1,11 @@
-/* $Id: random.c,v 1.8 1999/07/16 03:13:06 momjian Exp $ */
+/* $Id: random.c,v 1.9 1999/07/16 23:09:45 tgl Exp $ */
 
 #include <stdlib.h>
 #include <math.h>
 #include <errno.h>
 
+#include "config.h"
+
 long
 random()
 {
diff --git a/src/backend/port/srandom.c b/src/backend/port/srandom.c
index f7ff333f2e..eb16736d4c 100644
--- a/src/backend/port/srandom.c
+++ b/src/backend/port/srandom.c
@@ -1,9 +1,11 @@
-/* $Id: srandom.c,v 1.8 1999/07/16 03:13:08 momjian Exp $ */
+/* $Id: srandom.c,v 1.9 1999/07/16 23:09:45 tgl Exp $ */
 
 #include <stdlib.h>
 #include <math.h>
 #include <errno.h>
 
+#include "config.h"
+
 void
 srandom(unsigned int seed)
 {