We can delete this copy of :processorcount, since this is more or less defined twice.