Workaround for xcode 5.1 build errors