[PATCH] gmp: remove deprecated configure options