Fixed ctrl+c behaviour: since stdin always piped to child, clild was receiving SIGINT twice