I find that ctrl+c does not kill gapis - I resorted to opening another terminal and killing it via its process id.

Is this a known problem, and if so what's the reason for it, and can it be avoided?