Using Raspberry Pi Pico With Arduino Ide Linux Cant Open