diff --git a/src/configure b/src/configure
index fc890e61ff6d1ba8c1de30bb6c5eed5e0101749a..021c071f31209f687c1631ad734c5eeba52f3c3a 100755
--- a/src/configure
+++ b/src/configure
@@ -7815,10 +7815,9 @@ trap 'rm -fr `echo "GNUmakefile
 	backend/utils/Gen_fmgrtab.sh
 	bin/pg_dump/Makefile
 	bin/pg_version/Makefile
-	bin/pgaccess/Makefile
-	bin/psql/Makefile
 	bin/pgtclsh/mkMakefile.tcldefs.sh
 	bin/pgtclsh/mkMakefile.tkdefs.sh
+	bin/psql/Makefile
 	include/version.h
 	interfaces/libpq/Makefile
 	interfaces/ecpg/lib/Makefile
@@ -7990,10 +7989,9 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile
 	backend/utils/Gen_fmgrtab.sh
 	bin/pg_dump/Makefile
 	bin/pg_version/Makefile
-	bin/pgaccess/Makefile
-	bin/psql/Makefile
 	bin/pgtclsh/mkMakefile.tcldefs.sh
 	bin/pgtclsh/mkMakefile.tkdefs.sh
+	bin/psql/Makefile
 	include/version.h
 	interfaces/libpq/Makefile
 	interfaces/ecpg/lib/Makefile