Make GMP happy...