fix abi suffix for ppl/gmp