Try loading other dynamic libraries, not just libgmp.so.

libgmp.so only materializes after installing the development package.