Header file, before change from Boost to Eigen was made.