Possible bug in boost_1_28