Ticket #3616: speed up of utf-8 normalization.