change proc_kill to use destroy