Fix build broken at ac8fda05418b on windows