switched to IMP::base::random random number generator