[PATCH] remove INSTALL file to have a clean git status