Ich hatte das Problem auch mal, und so weit ich mich noch erinnern kann, hat mir dieser Ersatzlauncher geholfen: http://quick.mixnmojo.com/software.php#cmilauncher.