Checking in INSTALL file