Update dev-random3 to be included as a submodule