Fix double output when reading stdin from a file
Fix double output when reading stdin from a file

phillipm/ecpp-aks-primality-proving,phillipm/ecpp-aks-primality-proving,phillipm/ecpp-aks-primality-proving,phillipm/ecpp-aks-primality-proving