Fixes for building on machines that don't have gmp