Fix GMP tests