Fix errors in configure.in