Use system's boost library