as empty file. As a result, the INSTALL file always shows as modified. Instead, remove INSTALL from git and ignore it.