We have cracked the code: building with iOS7, xcode5 and 64 bit works now