Update to current rust: use read_exact rather than read_bytes.