Binaries for Linux 64 bits fixed