SHLIBFILE='$(SHLIBSONAME).$(SHLIBMINOR)'
SHLIBLINK='$(CC) $(LDFLAGS) -shared -Wl,-soname=$(SHLIBSONAME)'
# FIXME: It might make some sense to link with -lgmp
SHLIBLIBS=''
SHLIBLIBS='$(LIBS)'
;;
esac