work around a symbol dumper bug