remove some custom fmpz functions now defined in fmpz.h