a tidy asio from boost_1_55_0