RE: Problems with libgmp