* restore configure parameters if we have modified the configure script