see https://stackoverflow.com/questions/3147660/server-certificate-verification-failed-issuer-is-not-trusted

c++-11 removed

with the --debug option, when a compilation fails (during the DeltaDebug algorithm), the files are copied in `compilationError/attemptXXX` where XXX is the number of the attempt

(needed when the project has src files in different folders and these files need to include `promise.h`)