Fix Boost install script