fix CkcRandom test