(Finsert_file_contents): Set Vdeactivate_mark when we change the buffer.