windows: workaround for #9199