Allow to demangle from gggd per command line option