envoyd: flush stdout after printing