Fix build error for Windows server.