eigen_frwds: fix for eigen 3.0.93 in Ubuntu 12.10