Fix windows build, was broken since 07124b1
Fix windows build breakage since 124671a