аюсь написать простой анклав SGX, который принимает вектор логических значений, но, очевидно, edger8r создает код c; так код EDL

enclave{

  from "sgx_tstdc.edl" import *;
  include "BetaDist.h"
  include <vector>

  trusted {
         BetaDist Estimate(std::vector<bool> X, double max_z, double max_delta); 
  };

  untrusted {
  };
};

выдает ошибку компиляции (забавно, компилятор Intel сообщает об этом под заголовком "катастрофическая ошибка"), говоря заголовокvector не может быть найден

Мне кажется, что проблему можно решить, просто скомпилировав код выходного края с флагом c ++. Будет ли это работать? Даже если так, есть ли более чистый способ сделать это (то есть иметь функции края со стандартными типами C ++)?

PS: мне не хватает представителя, чтобы добавить новый тег, кто-нибудь пометит это с помощью 'edger8r'? Это будет полезно, я думаю.