[linbox/f18] Rebuild for m4ri 20121224.