The command `sudo apt install -y ./vscode.deb` in pico_setup fails under ubuntu 20.04 x64 because it downloads the armhf version