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

Thu Oct 18 09:48:32 PDT 2007 Ross Paterson * fix selection of module names in bootstrap M ./libraries/tools/make_bootlib -2 +2