[Boost-users] [DateTime] format flag to print single-digit hour?