forgot to git add INSTALL