htmlreport: print filename in file page heading.