add PIC relocations for x86_64, and use a simpler hack in place of x86_64_high_symbol()