Fix bug in generate-patchlist.sh.