Number of pages produced by Digital Duplicator printer drivers differs from that of other printer drivers