Fix warning with gmp_fscanf