[NTG-pdftex] [pdftex-Patches][3886] Fix for str_less_str (bug #993)