Re-seed random number generators after forking