Added 64-bit linux executable