COMP: Fixe Eigen file name case sensitive failure.