Fix a compilation error with boost