replace custom stdarg.h header file with the one in gcc toolchain