holomaze: initialize random number generation more correctly.