[PPL-devel] Problem (with fix) concerning GMP's C++ random number class