rm obs file INSTALL