Strip *_a-prefix from all file names.

Rev: src/nettle/list-obj-sizes.awk:1.3

list-obj-sizes.awk

@@ -35,10 +35,11 @@ BEGIN {
       text_total += text_size;
       data_total += data_size;
       rodata_total += rodata_size; 
-    }
+    } 
   if ($1 ~ filter)
     {
       name = $1; text_size = data_size = rodata_size = 0;
+      sub(/^[^-]*_a-/, "", name);
     }
   else
     name = ""