Issue #19053: ZipExtFile.read1() with non-zero argument no more returns empty
bytes until end of data.