always generate have-lem.lst, properly this time