Switched to new rnadom number generators in bob.core.