Fix Windows build. (Probably.)