in search for picosat, look only for directories