eigen 2.0.2 has been out for quite some times. Renaming the ebuilds for 2.0.1 works perfectly here. Reproducible: Always
fertig. enjoy