Bill's additions to the INSTALL file