Added the linux 64 bit binary