結局、Marvericksは危ないということで
早々にアンインストールしました。
いろいろとソフトを入れていたので
元通りにするのに丸一日かかってしまいました。