(read_process_output): Return the actually read bytes