Always exit upon stdin EOF #2
Print all prompts to stderr #2