Fixed setting local path for asciimath2html; fixed encoding problem in
same script.
Authored by: paultremblay 2012-08-19
Parent: [r17]
Child: [r19]
