Boost C++ header files