[Thread debugging using libthread_db enabled]