Link in libgmp.so as libgmp.so.3 too