Try disabling shared libraries with GMP