No serial device for Arduino Leonardo on OSX Mavericks

No serial device is found when I attach an Arduino Leonardo to my MacBook Air. This has worked before. I think it has something to do with OSX Mavericks as I've upgraded my computer since last time I tried.

According to the docs no extra driver is needed for Arduino Leonardo.

This is the output of /var/log/system.log when attaching the device:

Mar  4 11:36:25 judas.local com.apple.kextd[12]: kext com.devguru.driver.SamsungACMControl  104149000 is in exception list, allowing to load
Mar  4 11:36:25 judas kernel[0]: 0        0 dgmdmcontrol: start - Failed to find the CDC driver
Mar  4 11:36:25 judas.local com.apple.kextd[12]: kext com.devguru.driver.SamsungACMData  104149000 is in exception list, allowing to load
Mar  4 11:36:25 judas kernel[0]: AppleUSBCDCACMData: Version number - 4.2.1b5, Input buffers 8, Output buffers 16
Mar  4 11:36:25 judas kernel[0]: AppleUSBCDC: Version number - 4.2.1b5
Mar  4 11:36:26 judas kernel[0]: AppleUSBMultitouchDriver::message - kIOUSBMessagePortHasBeenReset.
Mar  4 11:36:26 judas kernel[0]: AppleUSBMultitouchDriver::checkStatus - received Status Packet, Payload 2: device was reinitialized
Mar  4 11:36:26 judas.local hidd[64]: MultitouchHID: device bootloaded

Any ideas?