Problems with libgmp