On macOS 14 with ESP32 DevKitC v4 does not connect. `[Errno 2] could not open port None: [Errno 2] No such file or directory: 'None'`