small fix for threading on linux