Probably not indeed. Yeah, it's probably better to use -DLIBCXXABI_BARE_METAL=1 where needed, and #define it to 0 otherwise.