@vigsterkr Oh! I see. So now we know. Thanks

BTW, I checked making w/o eigen3. No errors now. :)