Disable stdout buffering

-Also reformat some files and fix typos
Fix addr_cache_flush for linux

-Nothing gets committed, so nothing get's flushed either. So flush everything by default.