Fix the build for GCC on OS X: GCC warns about the missing return in protCatchThread, but we don't want to add one because that would be unreachable code. So use __attribute__((__noreturn__)) instead.