do not build INSTALL.txt