1 files changed, 8 insertions, 0 deletions

diff --git a/src/prefix-args.c b/src/prefix-args.c
index 1a855e0e34b..5580d176bcf 100644
--- a/src/prefix-args.c
+++ b/src/prefix-args.c
@@ -44,6 +44,14 @@ Boston, MA 02110-1301, USA.  */
    If I can't write a completely portable program to do this in C,
    I'm quitting and taking up gardening.  */
 
+#ifdef HAVE_CONFIG_H
+# include <config.h>
+#endif
+
+#if STDC_HEADERS
+# include <stdlib.h>            /* for proper declaration of `exit' */
+#endif
+
 #include <stdio.h>
 
 int