Patches pushed as 163f7831c4ed7c7d877234bc208caf625afce808 and
following, with the license of cl-random fixed (expat instead of
boost1.0).
Thanks.