many images are broken on linux because the filename capitalisation doesn't match the reference in the html file.
