Updated binaries

x86_64 and x86 binaries compiled on a x86_64 machine using Linux 3.2.0
and gcc 4.7.2 -O3
ARM binaries compiled on a Raspberry Pi using Linux 3.2.27 and gcc 4.6.3
-Ofast