gendiff.py: Fix missing newline