Delete formal.zip