again, if eigen is mandatory, it should be noted in the doc and checked at build time