I tried that repair as well, going back to system settings of April 16. It was somehow blocked and thus failed as well. :-[