make uninstall uninstalls more than needed
|Reported by:||strk||Owned by:||strk|
make uninstall target under extension directories remove all extensions, not just the one installed by
make install in that directory. It can also uninstall foreign extensions which may happen to have the same version as ours. Sounds dangerous.