/* XXX Make the nm output a little more greppable... */