minor fix: count_processors; output to stderr.