Fix Opera Developer cask