*** gambit.html could not be built (perhaps PERL_HASH_SEED=0 ./texi2html is not installed?)