I left a message over at the original Digispark support board, and haven't gotten a response. This also applies to the new Digispark Pro.
Here is the message I asked:
When trying to upload code to the digispark, I get:
<...>arduino-1.5.8-64bit/hardware/digistump/avr/tools/micronucleus: not found
And yet, I see that micronucleus is there. I tried running it with sudo. Also I tried chmod 777 on the whole tarball output.
This is on Ubuntu 14.04.
Does anyone have any ideas what my problem is?