fix the encoding of TAILJMPd. This fixes Benchmarks/Olden/bisort