Fix option handling in configure

Signed-off-by: Casey Dahlin <casey.dahlin@gmail.com>