Cant see Pico in Mac OSX

Hello,

I've just received my Pico. As above, the tty drivers do not show up on my OSX 10.11.1 machine. However on a OSX 10.10.x machine it works.

So I tried the flashing instructions and upgraded to V1.81 on the OSX 10.10 machine. Seems to work fine. When I connect on this machine, it show the correct (new) v1.81 version firmware.

However, when coming back to the 10.11 machine I still get the errors:

07/11/15 12:09:35,000 kernel[0]: NMUSBCDCACMData::start: InterfaceMappings dictionary not found for this device. Assume CDC Device...
07/11/15 12:09:35,000 kernel[0]: NMUSBCDCACMData::start: do not search for USBCDC Device...
07/11/15 12:09:35,000 kernel[0]: NMUSBCDCACMData::findCDCDriverAD: found CDCClassname NMUSBCDC
07/11/15 12:09:35,000 kernel[0]: 0        1 NMUSBCDCACMData: start - Find CDC driver failed, return false
07/11/15 12:09:35,000 kernel[0]: NMUSBCDCACMData::start: do not search for USBCDC Device...
07/11/15 12:09:35,000 kernel[0]: NMUSBCDCACMData::findCDCDriverAD: found CDCClassname NMUSBCDC
07/11/15 12:09:35,000 kernel[0]: 0        1 NMUSBCDCACMData: start - Find CDC driver failed, return false

(also too bad I got a v1.3 board, when apparently the v1.4 is the latest version)