fix up the boost install script