GCC modifications for x86_64 xcc (XCC)