add file-local variable for text encoding