SERVER-8330 Added cstdint.h for use of int64_t in Date_t