Counting processors on your Linux box