Reverted to printf instead of gmp_printf, and other misc.