Added Ctrl+C handler