INSTALL and gitignore