isum.awk: make flush work everywhere else again
1 file changed