Fix compile error in cpu_count()