[PATCH] Correction in configure script