1.0.13.50: rename JECXZ to JRCXZ in the x86-64 backend for clarity