Fix Win32 bustage.