Pull libgmp.so into the executable
Be more explicit in the Makefile