diff --git a/configure/tools/munch.pl b/configure/tools/munch.pl
index 203b7e2eb..3ecebccb2 100755
--- a/configure/tools/munch.pl
+++ b/configure/tools/munch.pl
@@ -9,16 +9,22 @@ eval 'exec perl -S $0 ${1+"$@"}'  # -*- Mode: perl -*-
 
 while ($line = <STDIN>)
 {
+    next if ($line =~ /__?GLOBAL_.F.+/);
+    next if ($line =~ /__?GLOBAL_.I._GLOBAL_.D.+/);
     if ($line =~ /__?GLOBAL_.D.+/) {
         ($adr,$type,$name) = split ' ',$line,3;
         chop $name;
         $name =~ s/^__/_/;
+        next if ( $name =~ /^__?GLOBAL_.D.*\.cpp/ );
+        next if ( $name =~ /^__?GLOBAL_.D.\.\./ );
         @dtorlist = (@dtorlist,$name);
     };
     if ($line =~ /__?GLOBAL_.I.+/) {
         ($adr,$type,$name) = split ' ',$line,3;
         chop $name;
         $name =~ s/^__/_/;
+        next if ( $name =~ /^__?GLOBAL_.I.*\.cpp/ );
+        next if ( $name =~ /^__?GLOBAL_.I.\.\./ );
         @ctorlist = (@ctorlist,$name);
     };
 }