duh, trying the 64-bit binary