Update doc to tell people how to install 3.8