an utility for converting file encoding (to UTF-8)