#include stdnoreturn.h.

Strictly required, but happened to work anyway.