Adds HEAD for Eigen.