Non starei a preoccuparmi, in serata dovrebbe uscire l'aggiornamento che sistema il baco. Al limite nel frattempo usa Chrome.