diff.c: flush stdout before printing rename warnings