Fixed a bug in the boost script