port to Boost 1.53