Check command-line option with boost