If you change the executable file name, the "killall" doesn't work. But If you create an executable to call "melted" which wait for it end, the "killall" first kills "melted" and then end your executable. It is enough for you?