diff.c: convert emit_binary_diff_body to use emit_diff_symbol