AUTHORS: file encoding to UTF-8