[Boost-users] bug in boost::date_time::time_facet?