Use `VisualCPPMangler v(!global.params.is64bit);`