[Boost-users] [DateTime] posix_time_zone constructor crashes with bad format string