remove Eigen from src, use system's instead