[Boost-users] I/O bug in date_time