Fix GMP interface issue.