EDIT: never mind, the problem is not with the driver (which I guess just isn’t supposed to work on Win 7 64 bit).