added cp2k's random number generator