Working towards restoring portability: g++ doesn't like [[noreturn]] yet