-- fix bug in configure