fix windows build (fixes #9416)