Added GCC flags -fno-builtin-*