BTW has anyone tried the above fix I posted? I've just realised that I think I might not have tested it with USB serial uploading. When I try to do that I get:
Serial port '/dev/tty.usbserial-.....' already in use.
Restarting the IDE doesn't work. Using 0012 still works. lsof doesn't seem to show anything.
--Phil.