Renamed some file to have html extension in output files