linbox: rebuild unused