Brewfile: Install 'eigen'