linux 32-bit permissions wrong

[wa5znu]

As someone hinted in another thread, the linux 32-bit download is seriously broken.
The executable files aren't marked with the +x bit, and all symlinks are regular files with the symlink target filename in them instead of actually being symlinks.  The build process is broken.

32-bit binaries: http://s3.amazonaws.com/digispark/builds/arduino-1.03-linux32-digispark-2013-01-05.zip