Allow customizing the random seed