[libdispatch-dev] [patch] workaround for GNU/Linux pthread_exit() bug