Fix stdout flushing
Experiment with a more compact log output for gumby