Fix bug in configure.