fix an issue with configure