add wrc 64-bit Linux build