don't buffer python stdout, for logging