Another attempted fix for Xcode5 DP6...