I gave up and install the version 7.2 from scratch... Too bad a lot to do. And this was not the first time that an upgrade would not work....