NTLM: propagating server time