v1.31.2: Fix reading of short input

This release fixes a newly introduced bug where reading short streams could lead to garbage being displayed.

The bug was introduced as a side effect of transparent decompression of piped input.