trying to set random seed for eigen3 as well