Simplify the install instructions a little bit since one of the scripts
deals with this stuff now.