A versão antiga de gmp é chamada de gmp4 e fornece uma biblioteca chamada libgmp.so.3. Esta versão pode ser usada em sistemas mais
antigos que ainda precisam dela para funcionar corretamente.
