Try to fix the gmp warnings...