Add the amd64 version of WMDC because it might work after all.