We don't need to bother with putting this function in factory, because we call __gmp_set_memory_functions
anyway, and it's a synonym.  We don't need to call it.