New iteration. All mentioned issues have been fixed, except for the glibc check for the file_exec_file_name RPC, which I don't know how to do if not using HURD_INTERFACE_VERSION. Any suggestions are welcome.
I have left the HURD_INTERFACE_VERSION patch out. We should decide whether to remove it or whether to bump it everytime we add a new RPC. Leaving it there but not updating it seems nonsense to me. Regards, Emilio
