added: set thread name using pthread_setname_np when available