Fix 9a89d38 in configure.in, regenerate configure