fixed utf8/ascii problem in documentation build system