Fix a bug in configure