make python run with unbuffered stdout
xx