Thread.ident is not usable on linux. Give each thread a unique name instead