Explicit return to quiet down old GCC versions.

That apparently don't understand attribute((noreturn)).