add formulas to install.txt