Don't search for LevelDB headers now they are in our tree.