Linux 64 bit binaries compiled