9d3c28de518cba5101cd45a802dd69e79e6ad156  configure.in