removed leftover debug code from INSTALL