python-lens requires lens