Boost libs used in Project Clover