file name change: from INSTALL to SETUP