lib/scripts/unsymbolize

 #!/usr/bin/env perl
 #
 # Author: Markus Wenzel, TU Muenchen
 #
-# unsymbolize.pl - remove unreadable symbol names from sources
-#
+# unsymbolize - remove unreadable symbol names from sources
 
 use warnings;
 use strict;
 
 sub unsymbolize {

     s/\\?\\<leftharpoondown>/<=/g;
 
     my $result = $_;
 
     if ($text ne $result) {
-        print STDERR "fixing $file\n";
+        print STDERR "changing $file\n";
         if (! -f "$file~~") {
             rename $file, "$file~~" || die $!;
         }
         open (FILE, "> $file") || die $!;
         print FILE $result;