Probelm report about cvx_setup on Mac

I believe that’s addressed in the “Edit” section at the end of this post linked from @Michal_Adamaszek 's post.