Ticket #2114: Don't treat files ending with a dot as gzip.