Dummy INSTALL file
