Fix app-name for search.pl.