Forget about ctrl-c in js :-/