[MonetDB-users] how to completely remove the MonetDB5 installation?