Fix a configure.in buglet