lower case file extension (consistent with the other string comparisons)