Update execute_ctf_binary.md