[#858] remove unused file
[#2078] top level INSTALL file, also for #1912