SERVER-13978 Error out if NTDDI_VERSION is set but _WIN32_WINNT is not