Using the same approach as the last commit for the files used by genassym.sh. Obtained from: CheriBSD