Formerly ../hurd/hurdauth.c.~8~