日本語環境でstubdomのビルドに失敗する

/home/oku/follow/xen-3.3.0/stubdom/../extras/mini-os/include/mini-os/types.h:22:20: error: stddef.h: そのようなファイルやディレクトリはありません

原因はstubdom/Makefileの

GCC_INSTALL = $(shell gcc -print-search-dirs | sed -n -e 's/install: \(.*\)/\1/p')

にある。gcc -print-search-dirsはLANGによって出力フォーマットが変化するので、makeの代わりにLANG=C makeとする。必要に応じて、先にmake distcleanする必要があるかもしれない。