Prettify the output of --debug-mono