otherwise it would try to install profiled libraries that had not been built during the make buildworld phase. ###>sinon il essayera d'installer les bibliothèques profilées qui n'ont pas été recompilées à l'étape make buildworld.