And the generated configure file