flex_and_bison.patch
kbsd_and_hurd.patch
