DepthK does not kill the process after CTRL+C

[lucasccordeiro]

If we run

$./depthk.py -g output.c

and after a few seconds we type CTRL+C, then DepthK stops running but the process related to PAGAI continues executing in the background (see attached program).