Removed modsearch.hh
Gecode error after merge