workspace for work on boost