Oops, forgot about Xcode 5’s problem with stripping everything...