It should be OK now. I’ve been forced to update ‘manually’. I still don’t know why the automatic update didn’t work.