I discovered that in order to get the above "fix" with the downloaded library to enable upload in the IDE via USB successfully I needed to also do the following in the terminal:
sudo mkdir /var/lock
sudo chmod 777 /var/lock
I don't know what security implications this has, if any.
--Phil.