--- deheader.orig	2014-06-04 06:33:37.000000000 +0800
+++ deheader	2014-06-05 11:37:43.000000000 +0800
@@ -1450,8 +1450,8 @@
                (len(self.filenames), len(self.includes), len(self.unneeded))
 
 if __name__ == "__main__":
-    (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:rvx:V",
-                                         ["help", "ignore",
+    (options, arguments) = getopt.getopt(sys.argv[1:], "hi:m:qrvx:V",
+                                         ["help", "ignore", "quiet",
                                           "remove", "verbose",])
     maker = "make"
     verbose = 0
