Re: redirection of console output to file?