Found one file not-installed. It is gentxt.csh, is noted in TODO.