Re: eigen3 license change