fix format in platform.win32