mini: added the new PRNG from master to minified version: sorry, this adds some bytes - thats the price for portability 8-)