adding pRNG libraries