Fix issue with boost configuration