WINDOWS: workaround for #2892