Use Boost 1.54