Fix ABI detection bug; set ip before getting abi.
Briefly document bug to prevent future fails.