Turns out there's no 64-bit DasHard.dll.