(partial) workaround for sched_getcpu