printfflush added to all printf calls