Merge the options from configure before the user options from cli.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>