add dummy ctrl+c handler