make random number generator available after gcc 4.6