XGCC stdarg.h НЕТ ТАКОГО ФАЙЛА ИЛИ СПРАВОЧНИКА

Я включил vsprintf в свой проект. Однако, когда я его компилирую, я получаю следующую ошибку.

/opt/xgcc/decstation-ultrix/bin/xgcc -DIN_USER_MODE -c -I../userprog -I../threads -G 0 -Wall -O2 -DCHANGED -c vsprintf.c
vsprintf.c:12: stdarg.h: No such file or directory
make[1]: *** [vsprintf.o] Error 1
rm add.o
make[1]: Leaving directory `/home/banana/se31/code/test'
make: *** [all] Error 2

Строка 12 vsprintf содержит следующее:

#include <stdarg.h>

Я проверил, что stdarg.h правильно установлен в моей системе, используя следующие короткие программы.

//test.c and test.cpp
#include <stdarg.h>

int main(void)
{
return 0;
}

Когда я запускаю gcc test.c или gcc test.cpp, я не получаю ошибок, из которых следует, что мои vsprint.c и gcc установлены правильно.

Я прошел через подобные вопросы в stackoverflow, но пока не нашел решения. Я использую Ubuntu 32 бит в качестве моей операционной системы. Может ли кто-нибудь подсказать мне, как я могу решить эту проблему?