Fixup: regenerate.sh