Moved zeus_mutex to ctf_mutex