RPi agents: flush stdout