ThinLens now requires pupil_radius to be specified