Fix a stupid mistake in extconf