Those files are in a subfolder that do not exist in the fresh download so they were not overwritten.
Fresh files were upload+overwritten here (including subfolders):
/home/xxxxx/public_html/forums/
Those specific files are in a subfolder that was different:
/home/xxxxx/public_html/forums/yyy/
Regardless, I took the files from \admin\upgrade\ in the fresh files and overwrote those files. Upgrade seemed to take them happily. Everything seems ok now. Thank you.
Proof:
