The Boost distribution modified so you can include it in your repository using git-subtree