on linux, set thread names