ferventlucas is not found!