Add 64-bit Linux executable.