SERVER-8203: explicitly include header for windows