Alternativ Opera installieren.
In der realen Welt kann man Probleme idR. mit Duct-Tape oder WD-40 beheben - ist dies möglich ist das Problem nicht lösbar.
Replace with Opera :) ist in der Browserwelt eine sehr gute Lösung, wird dadurch das Problem nicht behoben: siehe oben.