fix boost linux script