linbox 1.6.3 -> 1.7.0