fixed bug in configure script