Fix mismatched argument/variable name in configure option