Fix build break from recent commit dd15f95 on windows