Arduino IDE does not list serial ports on Mac