patch applied (hugs98): include filepath in the first phase of the bootstrap

Mon May 14 09:54:23 PDT 2007 Ross Paterson * include filepath in the first phase of the bootstrap M ./libraries/Makefile.in -1 +1 M ./libraries/tools/make_bootlib -2 +2