Correct c.filename() in leoDist.leo