Re: Bug: fgets always reads from stdin