Fix build with external gmp library.