[PATCH] Have set-buffer-file-coding-system mark the buffer as modified.