> alternatively for a port, we can patch to hardcode the path.

I don't think that's the way to handle this.

It is better to dynamically remember the path, in userland, when the
filename open succeeds.  Just copy it at that point, in userland.