A random thread selector for linux!