I had the problem installing midi libraries, the search función didn't work until I erases midiDB file in the library.
My question: what's the scope of this file ? If I erase it everything seems Ok. Maybe I undervaluate the consequences of my action. Thanks.