Nicer filename for compressed logs.