Rename rand.hex to sha256mod.const