Formerly ../hurd/hurdinit.c.~19~