rename html title for texifast