patch some more EIGEN defs