VMX verification and repair application for Mac OS