diff --git a/GNUmakefile.in b/GNUmakefile.in
index ba39bf13307e55d70bd2379dcfdb0a6d9acfc555..15fba9fce0a784f4eb29769b2c1bd7200eece717 100644
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -58,9 +58,10 @@ distclean maintainer-clean:
 	$(MAKE) -C contrib $@
 	$(MAKE) -C config $@
 	$(MAKE) -C src $@
-	rm -f config.cache config.log config.status GNUmakefile
+	rm -rf tmp_install/
 # Garbage from autoconf:
 	@rm -rf autom4te.cache/
+	rm -f config.cache config.log config.status GNUmakefile
 
 check check-tests installcheck installcheck-parallel installcheck-tests:
 	$(MAKE) -C src/test/regress $@