Rename standard random generators (#72)