INSTALL file is no more needed.