/* If the filename has already been used as an origsource filename,
return that entry. We check the most-recently-used file first, and
/* If the filename has already been used as an origsource filename,
return that entry. We check the most-recently-used file first, and