fix Windows mangling