XEmacs auctex package now produces auc-tex*.html, formerly auctex*.html