Add the flag '64-bit'