added binary file on 64-bit Linux