do not use the GCC noreturn extension with Clang