resolve coverity defect #14137: unhandled bad_format_string exception
might be a  workaround for coverity defects #14110-14114: resource leak in operator[] access to boost::unordered_map