fix install instructions#3442

mdouze wants to merge 1 commit intofacebookresearch:mainfacebookresearch/faiss:mainfrom

mdouze:export-D57376959mdouze/faiss:export-D57376959Copy head branch name to clipboard