Fix issue #7 by adding some more GCC builtin functions to CIL