some html->HTML conversion for case-sensitive filesystems