[[ Bug 13658 ]] Reading EOF from a process reads until everything is read from the process, not up to EOF