[boost] Patch for BOOST_OLD_IOSTREAMS detection