make flint work with gmp

this is only active in case USE_GMP is set.