> On Mar 4, 2018, at 10:29 PM, Franco Fichtner <franco at lastsummer.de> wrote: > > one needs to type > > # make && make deinstall && make install > have always been like that, the real reinstallation was make deinstall reinstall, the fact one needs not to run deinstall first was a bug introduced very very long ago. That's not a bug. It's a *feature.*