fix bug in configure