Updated INSTALL instructors.