modified character of manual.tex to UTF-8