Das sollte eigentlich automatisch funktionieren, aber achten Sie auf die Endung .dmg. Sollten Sie eine .exe-Datei herunterladen, handelt es sich um die Windows-Version.