added new option: phi-search-case-sensitive