Proper GMP option and ABI handling.