Swap indri win64 with a real 64 bit binary