Well that sucked. Opera crashed on startup. After checking around the cause is apparently Opera 12.13 itself. I have now reinstalled one of the older versions of Opera and it works fine. When Opera fixes this I will try out the latest version of Opera.