windows: use numeric constant for MAPVK_VK_TO_CHAR