Update INSTALL on Gentoo Linux