A few Boost libraries are not included in package libboost-dev