switched to CMS random number engine