fix a gcc warning in builtins.c.
4 files changed