Fixed debugging issue in the configure script