These have been computed with a mixed finesse binary, based on
07f7aa18e3dede3e038f618a173eed9ff5c5013b (8.9)
and adding in the changes to kat_init and kat_calc done by
me until today. Omitting Daniel's changes.

The only two giles still causing problems are maptest and map_cav02.