Fix win32 build.

This was broken by recent commits 8410c9bb00a738a105ed416aae0ddd6e6bfd7523 and 639413ef89819b875ee004b069a9c17a14e2a4ed.