Fixed a bug in the Boost script