Patching Eigen to remove some warnings