4.0.2: included Control.Lens.Properties in tar ball