Correcting Boost build error