Changes to DumWeakCerts.pl