diff --git a/fixconfig b/fixconfig
new file mode 100755
index 0000000000000000000000000000000000000000..bee216e4d824cafa2dbd2e928e8991dd9f55ed5d
--- /dev/null
+++ b/fixconfig
@@ -0,0 +1,9 @@
+#!/bin/sh
+sed '/^s%@CFLAGS@%$CFLAGS%g$/a\
+" $top_srcdir/${file}.in | sed "\
+$prsub\
+$extrasub\
+' config.status \
+|sed 's/^" $top_srcdir.${file}.in >>/" >>/' > config.newstatus
+mv config.newstatus config.status
+chmod +x config.status