Downloading Arduino 1.5.4 Linux 32bit aborts before finishing

Using Arduino IDE 1.x
2

The same seems to also happen with the Linux 32bit nightly build as well. Is the site acting up, or data transmission problems somewhere between Tampere and Arduino.cc?