Fix up INSTALL and "git add"