minichlink not executable

[zoobab]

I tried to compile and flash blink with the Arduino IDE, but it was throwning an error that it could not execute miniblink:

"/home/zoobab/.arduino15/packages/alexandermandera/tools/minichlink/1.0.0/minichlink" -w "/tmp/arduino/sketches/72B0E73327037FF023DE2707CCD1ACDC/Blink.ino.bin" flash -b
Failed uploading: cannot execute upload tool: fork/exec /home/zoobab/.arduino15/packages/alexandermandera/tools/minichlink/1.0.0/minichlink: permission denied

I did a chmod +x /home/zoobab/.arduino15/packages/alexandermandera/tools/minichlink/1.0.0/minichlink , and then it worked.

Can you reproduce?