sb-gmp: fix loading libgmp on darwin.