Fix the tool name strings in Dumpast