Use lower-case names for the HTML files generated by DDOX.