diff --git a/src/configure b/src/configure
index 3c95d0c64b..aeff9f5fcc 100755
--- a/src/configure
+++ b/src/configure
@@ -8004,6 +8004,7 @@ trap 'rm -fr `echo "GNUmakefile
 	include/version.h
 	interfaces/libpq/Makefile
 	interfaces/ecpg/lib/Makefile
+	interfaces/ecpg/preproc/Makefile
 	interfaces/libpq++/Makefile
 	interfaces/libpgeasy/Makefile
 	interfaces/libpgtcl/Makefile
@@ -8180,6 +8181,7 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile
 	include/version.h
 	interfaces/libpq/Makefile
 	interfaces/ecpg/lib/Makefile
+	interfaces/ecpg/preproc/Makefile
 	interfaces/libpq++/Makefile
 	interfaces/libpgeasy/Makefile
 	interfaces/libpgtcl/Makefile