Fix Windows build

This pull request fixes Windows build, which was broken since the bffaf41de commit.