ARGH!  Ignore all my previous messages.  I forgot that Russ's
new stuff doesn't use 9fat.