fix last woe32 breakage