updated for 10.9, Xcode 5.0.1 -- 64bit only