bug in configure.in