Linux: vlc_threadid() returns TID instead of kludging pthread_self()