always generate have-lem.lst even if it's empty