Fix bug in configure script.