work around a symbol dumper bug
Merge pull request #7 from luser/hacking

work around a symbol dumper bug