awk: Fix filename comparison, FILENAME had the full path
HTML: For failures/ignored, show how many ports were skipped