Fix GMP v4 compatibility.