make resizing work better with stdout