SERVER-13637: remove some header files leaking