Reenable proto-lens et all, for real.
Reenable proto-lens et all, for real.

I missed fixing these lines in #4945.

iand675/stackage,michalkonecny/stackage,fimad/stackage,asr/stackage,jonschoning/stackage,mrkkrp/stackage,simonmichael/stackage,fpco/stackage,stackbuilders/stackage,clinty/stackage,soenkehahn/stackage,athanclark/stackage,spencerjanssen/stackage,massysett/stackage,Daniel-Diaz/stackage