Ma il problema forse non è che sto usando un server per un computer da 32 bit in uno da 64 bit?