(vc-status-mark-buffer-changed): Add an optional file parameter. (vc-resynch-buffer): Use it. (vc-delete-file): Expand the file name before using it. Be careful to not create a new buffer with the old file contents. Update the VC state after performing the operation.