Fix #4: Control-C doesn't interrupt at the interactive terminal