Removing INSTALL, it's in the README