Where does stderr go if not piped?