die when stdin closes