diff --git a/Makefile.in b/Makefile.in
index 879c794e3..76c717f2f 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -106,6 +106,11 @@ clean:
 	@cd Runtime; $(MAKE) clean
 	rm -f swig
 
+distclean-dead = @configure_substituted_files@
+
+distclean: clean
+	rm -f $(distclean-dead)
+
 
 #####################################################################
 # TARGETS: install & friends