Provata la versione 32 bit e nulla.
Forse non ho il service pack 1, se puoi cortesemente linkarmi il download provo e ti faccio sapere, grazie.