unter OSX nennt sich die Schnittstelle des Leonardo /dev/tty.usbmodemXXX. XXX steht für eine beliebige Ziffernfolge.