Update gccxml_builtins.h

Test