[Doc] Fix installation filename