Fix last configure change.