--- a/Makefile
+++ b/Makefile
@@ -73,7 +73,7 @@ clean:
 	rm -f $(BINS) $(ALLOBJS) rpki-client.install.8
 
 distclean: clean
-	rm -f config.h config.log Makefile.configure
+	rm -f config.h config.log config.h.old config.log.old Makefile.configure
 
 $(ALLOBJS): extern.h config.h
 
