Hopefully fix the Windows build failure introduced in r173769