SERVER-12296 add header to fix build