convert execve to use generate_rand_bytes