Make sure external are built with the correct boost libraries