arduino/Arduino#3548 and other issue are frequently caused by the binaries not being fully static. Consider providing static binaries next time the programmers will be updated