Correct compiler filenames, example page HTML structure