Surely the 32-bit driver would still work on 64-bit systems?