Fix 64-bit bug in set_target_address_at