Update doc/install.txt