[Boost-users] [date_time] Is there a more direct way to format time strings?