Save rdx for 64-bit PIC in harness.