Those files are already removed in ObsoleteFiles.\
There is no need to remove them twice.

PR:           [[ https://bugs.freebsd.org/242971 | 242971 ]]