Upgrade to Xcode 5.1.
Fix more 32/64-bit warnings.