Fix compilation for attribute noreturn