Du brauchst das 64-Bit-
SDK, vgl. mal die Anlage, so sollte das bei Dir aussehen.
Wenn nicht: Du könntest versuchen den Plattform- und Erweiterungsmanager aufzurufen (siehe Welcome-Page) und OS64 einmal deinstallieren und wieder neu installieren, evtl. lief ja etwas bei der Installation schief?