And I should add that

unzip

appears to be working fine. I did search but no one else seems to have trouble with unzip existing 😞