diff -r 9e43b216ccd3 -r d25a1b160dba configure