Add TrueRandom library