Xcode bug fixed. Now we can produce universal binaries.