The binaries previously uploaded were somehow corrupted during upload (potentially due to hardware problems which should not recur: the hardware in question was replaced earlier today) and has been replaced with a fresh upload. It has been signed and checksummed.