No need to have this line anymore (Rest is changed to minstd_rand / looks good).