Turn phi-search into a submodule