[m-rev.] for review: start using the new code in file_names.m

[Julien Fischer]

On Sun, 11 Jun 2023, Zoltan Somogyi wrote:

> On 2023-06-10 20:51 +02:00 CEST, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> The attached diff fixes both this issue, and the two others as well.
>> Try it out. I am starting a bootcheck now, and will commit the diff
>> if that works.
>
> This is that diff, updated with an explanation of the issue.
> For review and test out by Julien.

I have tested the diff and the updated compiler now compiles (and
realcleans) the programs it was falling over on.  (Now that I can
actually build G12, I will test it on some further programs.)

The diff looks fine

Julien.