Don't do the Fermat pretest in ECPP factoring primality tests