bug fix: use /dev/tty, not /dev/stderr for configuring the terminal
bug fix: use /dev/tty, not /dev/stderr for configuring the terminal

Signed-off-by: Mattias Andrée <3d72f033b30d63e7ff5f0b71398e9c45b66386a1@operamail.com>

maandree/pp,maandree/pp