42b6139c1f3d9ffa40e671d4c936fabd4684fead65bc81aabc36d22e7d47f27a  configure.in