Including the 64 bit binary
Choose which binary to use