fix helpfile encoding