add dependency gmp-devel

we use it now.