diff --git a/src/include/port.h b/src/include/port.h
index 2dd50c9478b..1540771db9a 100644
--- a/src/include/port.h
+++ b/src/include/port.h
@@ -426,6 +426,10 @@ extern int	getpeereid(int sock, uid_t *uid, gid_t *gid);
 extern int	isinf(double x);
 #endif
 
+#ifndef HAVE_MKDTEMP
+extern char *mkdtemp(char *path);
+#endif
+
 #ifndef HAVE_RINT
 extern double rint(double x);
 #endif
@@ -497,7 +501,4 @@ extern int	pg_check_dir(const char *dir);
 /* port/pgmkdirp.c */
 extern int	pg_mkdir_p(char *path, int omode);
 
-/* port/mkdtemp.c */
-extern char *mkdtemp(char *path);
-
 #endif   /* PG_PORT_H */