Xcode 5.0.1 configuration; other minor improvements