More correctly follow PPC Linux ABI