make deb now installs libeigen3-dev instead of 2