adding the mcmc options to change the random seed