Boost utility Doxygen tagfile