In case specs have been updated, just run gen-code.sh.
