Per i posteri:

Sembrerebbe che anche la versione a 32bit funzioni correttamente