python sys stdin flush