Build with lens<4.

This fixes up changeset 7f3ed3166913133cb0f97d89356b4ff7ee8531fb with a modicum of ugliness.