Support different GCC versions for x86 and x64 in build.xml