SERVER-14343 leaner include paths