Headers and libraries for Boost