Sorry to jump into this duscussion late... I had this issue as well on some linux version. I downloaded it using sudo-apt-get install arduino and It didnt work for me either so I had to manual download it to get it to work. This was about 34-6 months ago though.

https://www.mysensors.org/build Always start from the main site, a lot of things have been already covered ;-)