Fixed a small issue in configure script