Formerly ../hurd/hurd.h.~29~