Move compatibile way to kill platform executable.

In some cases kill refuses to work with signal specifications -SIGINT (I don't know why). Thus use -INT specification which works in any case.