Fix never-observed bug in StreamEnumerator.range

Apparently FileInputStream.skip may skip less than requested.