support for --dump-names