Thread-naming fix for linux.