stdin redirection now works.