mini-gmp builds enhancements