SERVER-11021: add header file