patch applied (hugs98): fix selection of module names in bootstrap

Thu Oct 18 09:48:32 PDT 2007  Ross Paterson <ross <at> soi.city.ac.uk>
  * fix selection of module names in bootstrap

    M ./libraries/tools/make_bootlib -2 +2