wdirons/eigen archive