diff --git a/clients/tools/common.c b/clients/tools/common.c
index 5ef5b4fa91..9a4b3347b1 100644
--- a/clients/tools/common.c
+++ b/clients/tools/common.c
@@ -398,6 +398,8 @@ NULL
 			fputs( _(*cpp), stderr );
 		}
 	}
+
+	tool_destroy();
 }
 
 void tool_perror(