Patches for random-1.1