Don't keep INSTALL in git; it just gets overwritten